-
1 логическое исчисление
Большой русско-немецкий полетехнический словарь > логическое исчисление
-
2 логическое исчисление
Русско-английский технический словарь > логическое исчисление
-
3 логическое исчисление
Computers: logical calculusУниверсальный русско-английский словарь > логическое исчисление
-
4 логическое исчисление
Русско-английский политехнический словарь > логическое исчисление
-
5 логическое исчисление
adjeng. logischer KalkülУниверсальный русско-немецкий словарь > логическое исчисление
-
6 логическое исчисление
Dictionnaire technique russo-italien > логическое исчисление
-
7 логическое исчисление
Russian-german polytechnic dictionary > логическое исчисление
-
8 логическое исчисление
logical calculus мат.Русско-английский научно-технический словарь Масловского > логическое исчисление
-
9 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
-
10 исчисление
с. матем.calcolo m- исчисление бесконечно малых
- булево исчисление
- вариационное исчисление
- векторное исчисление
- исчисление вероятностей
- десятичное исчисление
- дифференциальное исчисление
- интегральное исчисление
- итерационное исчисление
- комбинаторное исчисление
- исчисление конечных разностей
- логическое исчисление
- матричное исчисление
- операционное исчисление
- повторяющееся исчисление
- предварительное исчисление
- исчисление размерностей
- разностное исчисление
- тензорное исчисление
- функциональное исчисление -
11 исчисление
с. calculus -
12 logischer Kalkül
логическое исчисление -
13 Logikkalkül
(m)логическое исчисление
См. также в других словарях:
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Логистика. Философский энциклопедический словарь. 2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление ( … Философская энциклопедия
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики … Большой Энциклопедический словарь
логическое исчисление — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. * * * ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ, исчисление, символы и правила которого могут быть интерпретированы в терминах логики … Энциклопедический словарь
Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и … Большая советская энциклопедия
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила к рого могут быть интерпретированы в терминах логики … Естествознание. Энциклопедический словарь
Логическое исчисление — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ — см. Историческое и логическое. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ … Философская энциклопедия
ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Любое исчисление представляет собой знаковую систему, которая, как чисто синтаксическая структура, однозначно определяется двумя порождающими процедурами: 1)… … Современный философский словарь